We propose a formal framework to examine the relationship between models and observations. To make our analysis precise,models are reduced to first-order theories that represent both terminological knowledge – e.g., the laws that are supposed to regulate the domain under analysis and that allow for explanations, predictions, and simulations – and assertional knowledge – e.g., information about specific entities in the domain of interest. Observations are introduced into the domain of quantification of a distinct first-order theory that describes their nature (...) and their organization and takes track of the way they are experimentally acquired or intentionally elaborated. A model mainly represents the theoretical knowledge or hypotheses on a domain, while the theory of observations mainly represents the empirical knowledge and the given experimental practices. We propose a precise identity criterion for observations and we explore different links between models and observations by assuming a degree of independence between them. By exploiting some techniques developed in the field of social choice theory and judgment aggregation, we sketch some strategies to solve inconsistencies between a given set of observations and the assumed theoretical hypotheses. The solutions of these inconsistencies can impact both the observations – e.g., the theoretical knowledge and the analysis of the way observations are collected or produced may highlight some unreliable sources – and the models – e.g. empirical evidences may invalidate some theoretical laws. (shrink)

Forests, cars and orchestras are very different ontological entities, and yet very similar in some aspects. The relationships they have with the elements they are composed of is often assumed to be reducible to standard ontological relations, like parthood and constitution, but how this could be done is still debated. This paper sheds light on the issue starting from a linguistic and philosophical analysis aimed at understanding notions like plurality, collective and composite, and propos- ing a formal approach to characterise (...) them. We conclude the presentation with a discussion and analysis of social groups within this framework. (shrink)

Relevant logics provide an alternative to classical implication that is capable of accounting for the relationship between the antecedent and the consequence of a valid implication. Relevant implication is usually explained in terms of information required to assess a proposition. By doing so, relevant implication introduces a number of cognitively relevant aspects in the de nition of logical operators. In this paper, we aim to take a closer look at the cognitive feature of relevant implication. For this purpose, we develop (...) a cognitively-oriented interpretation of the semantics of relevant logics. In particular, we provide an interpretation of Routley-Meyer semantics in terms of conceptual spaces and we show that it meets the constraints of the algebraic semantics of relevant logic. (shrink)

Forests, cars and orchestras are very different ontological entities, and yet very similar in some aspects. The relationships they have with the elements they are composed of is often assumed to be reducible to standard ontological relations, like parthood and constitution, but how this could be done is still debated. This paper sheds light on the issue starting from a linguistic and philosophical analysis aimed at understanding notions like plurality, collective and composite, and propos- ing a formal approach to characterise (...) them. We conclude the presentation with a discussion and analysis of social groups within this framework. (shrink)

A concept is traditionally defined via the necessary and sufficient conditions that clearly determine its extension. By contrast, cognitive views of concepts intend to account for empirical data that show that categorisation under a concept presents typicality effects and a certain degree of indeterminacy. We propose a formal language to compactly represent concepts by leveraging on weighted logical formulas. In this way, we can model the possible synergies among the qualities that are relevant for categorising an object under a concept. (...) We show that our proposal can account for a number of views of concepts such as the prototype theory and the exemplar theory. Moreover, we show how the proposed model can overcome some limitations of cognitive views. (shrink)

dolce, the first top-level ontology to be axiomatized, has remained stable for twenty years and today is broadly used in a variety of domains. dolce is inspired by cognitive and linguistic considerations and aims to model a commonsense view of reality, like the one human beings exploit in everyday life in areas as diverse as socio-technical systems, manufacturing, financial transactions and cultural heritage. dolce clearly lists the ontological choices it is based upon, relies on philosophical principles, is richly formalized, and (...) is built according to well-established ontological methodologies, e.g. OntoClean. Because of these features, it has inspired most of the existing top-level ontologies and has been used to develop or improve standards and public domain resources. Being a foundational ontology, dolce is not directly concerned with domain knowledge. Its purpose is to provide the general categories and relations needed to give a coherent view of reality, to integrate domain knowledge, and to mediate across domains. In these 20 years dolce has shown that applied ontologies can be stable and that interoperability across reference and domain ontologies is a reality. This paper briefly introduces the ontology and shows how to use it on a few modeling cases. (shrink)

We argue that a cognitive semantics has to take into account the possibly partial information that a cognitive agent has of the world. After discussing Gärdenfors's view of objects in conceptual spaces, we offer a number of viable treatments of partiality of information and we formalize them by means of alternative predicative logics. Our analysis shows that understanding the nature of simple predicative sentences is crucial for a cognitive semantics.

How can organisations survive not only the substitution of members, but also other dramatic changes, like that of the norms regulating their activities, the goals they plan to achieve, or the system of roles that compose them? This paper is as first step towards a well-founded ontological analysis of the persistence of organisations through changes. Our analysis leverages Kit Fine’s notions of rigid and variable embodiment and proposes to view the (history of the) decisions made by the members of the (...) organisation as the criterion to re-identify the organisation through change. (shrink)

We present a preliminary high-level formal theory, grounded on knowledge representation techniques and foundational ontologies, for the uniform and integrated representation of the different kinds of (quali- tative and quantitative) knowledge involved in the designing process. We discuss the conceptual nature of engineering design by individuating and analyzing the involved notions. These notions are then formally charac- terized by extending the DOLCE foundational ontology. Our ultimate purpose is twofold: (i) to contribute to foundational issues of design; and (ii) to support (...) the development of advanced modelling systems for (qualitative and quantitative) representation of design knowledge. (shrink)

Product structures are represented in engineering models by depicting and linking components, features and assemblies. Their understanding requires knowledge of both design and manufacturing practices, and yet further contextual reasoning is needed to read them correctly. Since these representations are essen- tial to the engineering activities, the lack of a clear and explicit semantics of these models hampers the use of information systems for their assessment and exploita- tion. We study this problem by identifying different interpretations of structure rep- resentations, (...) and then discuss the formal properties that a suitable language needs for representing components, features and combinations of these. We show that the representation of components and features require a non-standard mereology. (shrink)

We present an algorithm for concept combination inspired and informed by the research in cognitive and experimental psychology. Dealing with concept combination requires, from a symbolic AI perspective, to cope with competitive needs: the need for compositionality and the need to account for typicality effects. Building on our previous work on weighted logic, the proposed algorithm can be seen as a step towards the management of both these needs. More precisely, following a proposal of Hampton [1], it combines two weighted (...) Description Logic formulas, each defining a concept, using the following general strategy. First it selects all the features needed for the combination, based on the logical distinc- tion between necessary and impossible features. Second, it determines the threshold and assigns new weights to the features of the combined concept trying to preserve the relevance and the necessity of the features. We illustrate how the algorithm works exploiting some paradigmatic examples discussed in the cognitive literature. (shrink)

We introduce a family of operators to combine Description Logic concepts. They aim to characterise complex concepts that apply to instances that satisfy \enough" of the concept descriptions given. For instance, an individual might not have any tusks, but still be considered an elephant. To formalise the meaning of "enough", the operators take a list of weighted concepts as arguments, and a certain threshold to be met. We commence a study of the formal properties of these operators, and study some (...) variations. The intended applications concern the representation of cognitive aspects of classi cation tasks: the interdependencies among the attributes that de ne a concept, the prototype of a concept, and the typicality of the instances. (shrink)

This is an introduction to the special issue of Quest devoted to D. A. Masolo’s latest book, Self and Community in a Changing World. It situates this book in relation to not only Masolo’s earlier research on African philosophy but also the field more generally, sketches the central positions of the contributions to the journal issue, and in light of them makes some critical recommendations for future reflection.

Many aspects of how humans form and combine concepts are notoriously difficult to capture formally. In this paper, we focus on the representation of three particular such aspects, namely overexten- sion, underextension, and dominance. Inspired in part by the work of Hampton, we consider concepts as given through a prototype view, and by considering the interdependencies between the attributes that define a concept. To approach this formally, we employ a recently introduced family of operators that enrich Description Logic languages. These (...) operators aim to characterise complex concepts by collecting those instances that apply, in a finely controlled way, to ‘enough’ of the concept’s defin- ing attributes. Here, the meaning of ‘enough’ is technically realised by accumulating weights of satisfied attributes and comparing with a given threshold that needs to be met. (shrink)

I focus on D A Masolo’s discussion of morality as characteristically understood by African philosophers. My goals are both historical and substantive, meaning that I use reflection on Masolo’s book as an occasion to shed light not only on the nature of recent debates about African ethics, but also on African ethics itself. With regard to history, I argue that Masolo’s discussion of sub-Saharan morality suggests at least two major ways that the field has construed it, depending (...) on which value is taken to be basic and which ones are deemed derivative. According to one perspective, the ultimate aim of a moral agent should be to improve people’s quality of life, which she can reliably do by supporting community in certain ways, while the other view is that community should instead be valued for its own sake, with the enhancement of welfare being morally relevant only insofar as it is part of that. I claim that Masolo does not indicate a clear awareness of how these two perspectives differ and is not explicit about how they relate to one another. After pointing out that Masolo is not alone in these respects, I draw what is meant to be a definitive, clear distinction between the two major ethical philosophies. Then, I provide what I deem to be conclusive reason to prefer the community- based conception of sub-Saharan ethics to the welfare-based one. (shrink)

Some philosophers oppose recent arguments for the Knowledge Norm of Assertion by claiming that assertion, being an act much like any other, will be subject to norms governing acts generally, such as those articulated by Grice for the purpose of successful, cooperative endeavours. But in fact, Grice is a traitor to their cause; or rather, they are his dissenters, not his disciples. Drawing on Grice's unpublished papers, I show that he thought of asserting as a special linguistic act in need (...) of its own norm, and he tied his maxim of Quality to knowledge. I also develop a simple Gricean-inspired argument showing that the Quality maxim is not dependent on the Cooperative Principle. If it is not thus dependent, then the Cooperative Principle cannot be the explanation of, or source of normativity for, the Quality maxim. Thus, leveraging the insights informing the maxim of Quality actually provides the resources for a distinctive positive case that knowledge is the constitutive norm of assertion. (shrink)

In this chapter, we first introduce the idea that emotions are evaluations. Next, we explore two approaches attempting to account for this idea in terms of attitudes that are alleged to become emotional when taking evaluative contents. According to the first approach, emotions are evaluative judgments. According to the second, emotions are perceptual experiences of evaluative properties. We explain why this theory remains unsatisfactory insofar as it shares with the evaluative judgement theory the idea that emotions are evaluations in virtue (...) of their contents. We then outline an alternative � the attitudinal theory of emotions. It parts with current theorizing about the emotions in elucidating the fact that emotions are evaluations not in terms of what they represent, but in terms of the attitude subjects take towards what they represent. We explore what sorts of attitudes emotions are and claim that they are felt bodily attitudes. (shrink)

Closure is the epistemological thesis that if S knows that P and knows that P implies Q, then if S infers that Q, S knows that Q. Fred Dretske acknowledges that closure is plausible but contends that it should be rejected because it conflicts with the plausible thesis: Conclusive reasons (CR): S knows that P only if S believes P on the basis of conclusive reasons, i.e., reasons S wouldn‘t have if it weren‘t the case that P. Dretske develops an (...) analysis of knowing that centers on CR, and argues that the requirement undermines skepticism by implying the falsity of closure. We develop a Dretske-style analysis of knowing that incorporates CR, and we argue that this analysis not only accords with closure, but also implies it. In addition, we argue that the analysis accounts for the prima facie plausibility of closure-invoking skeptical arguments, and nonetheless implies that they are fallacious. If our arguments turn out to be sound, the acceptability of Dretske‘s analysis of knowing will be significantly enhanced by the fact that, despite implying closure, it undermines closure-based skepticism. (shrink)

Social epistemology is autonomous: When applied to the same evidential situations, the principles of social rationality and the principles of individual rationality sometimes recommend inconsistent beliefs. If we stipulate that reasoning rationally from justified beliefs to a true belief is normally sufficient for knowledge, the autonomy thesis implies that some knowledge is essentially social. When the principles of social and individual rationality are applied to justified evidence and recommend inconsistent beliefs and the belief endorsed by social rationality is true, then (...) that true belief would be an instance of social knowledge but not individual knowledge. (shrink)

The science of the mind, and of consciousness in particular, needs carefully to consider people's common-sense views of the mind, not just what the mind really is. Such views are themselves an aspect of the nature of (conscious) mind, and therefore part of the object of study for a science of mind. Also, since the common-sense views allow broadly successful social interaction, it is reasonable to look to the common-sense views for some rough guidance as to the real nature of (...) the mind. On the other hand, to the extent that common-sense views are inaccurate, and perhaps even in gross conflict with the true nature of the mind, one interesting scientific question is: why do we hold such views, given our access to our own minds? Why should introspection be limited in a way that allows inaccurate views to hold sway? Now, common-sense views of the mind are revealed in natural language discourse that describes mental states, and such descriptions are largely metaphorical. The metaphors are used within thinking about the mind as well as in language. Therefore the study of metaphor is central to the study of mind. The present article is a preliminary study of the importance of metaphor in the scientific study of consciousness. It concentrates on analysing the nature of a range of important metaphors of mind, briefly discussing the extent to which they can be used to describe or qualify states of consciousness, and pointing to important questions about the nature of consciousness that the study of the metaphors raises. The article further conjectures that the reason people use metaphors in describing themselves is often not (just) that they have intellectually worked out some structural analogy --- e.g., between interactions of physical objects in physical space and interactions of ideas in the mind --- but rather that they {\it feel} their own minds to be as described by the metaphor --- e.g., they feel that the ideas in their minds are interacting physical entities. This matter of how a mind feels to itself is an aspect of the central issue of consciousness, namely its phenomenal quality. -/- (NB: The archived file is a preprint. However, it is substantially the same as the published version.). (shrink)

Simone de Beauvoir and Jean-Paul Sartre struggled for the whole of their philosophical careers against one of modern Western philosophy's most pervasive concepts, the Cartesian notion of self. A notion of self is always a complex of ideas; in the case of Beauvoir and Sartre it includes the ideas of embodiment, temporality, the Other, and intersubjectivity. This essay will show the considerable part that gender, especially Beauvoir's position as a woman in twentieth-century France, played in the development, presentation and reception (...) of the couple's alternative formulation. (shrink)

Most explanations are either about events (why things happen), or about properties (why objects have the enduring characteristics that they do). Explanations of events have been studied extensively in philosophy and psychology, whereas the explanations of properties have received little or no attention in the literature. The present study is an exploration of the ways in which we explain various types of properties. Ten participants provided explanations of 45 properties by completing sentences of the form: “Xs have p because…” where (...) p is a property of the concept X. When coded into three traditional kinds of explanation (i.e. causal, purposive, categorical), nearly half of the explanations did not fit into any of these categories and were classified as “other”. Different patterns of preference for explanations emerged across the various property types for each domain. A qualitative analysis of the other kind revealed that the most frequent form of explanation involved another property of the object, as in ‘Xs have property p because they have property q”. Explanations of properties showed a homeostatic character. Simply relating two properties of a concept seems sufficient as an explanation of a property. (shrink)

Dealing with the metaphysical foundations of modern physical science, this book demonstrates that not only is classical metaphysics not in conflict with the principles of modern experimental science but that, when analogously transferred to the different divisions of modern science, the metaphysical principle of unity makes intelligible all the laws of modern science. This revolutionary book provides the means for reestablishing the unity of science by interpreting the whole of modern experimental science from the perspective of an analogous transfer of (...) the metaphysical principle of unity rather than in terms of efficient causality. (shrink)

The research aims to identify the learning organizations and their role in achieving organizational excellence in the Palestinian universities in Gaza Strip. The researchers used descriptive analytical approach and used the questionnaire as a tool for information gathering. The questionnaires were distributed to senior management in the Palestinian universities. The study population reached (344) employees in senior management is dispersed over (3) Palestinian universities. A stratified random sample of (182) workers from the Palestinian universities was selected and the recovery rate (...) was (69.2%). Statistical analysis (SPSS) program was used for analysis and processing the data. The research found the following results: there is a fair degree of approval on "cognitive dimension", there is a high approval about the importance of "organizational dimension", there is moderately consent of the importance of "Community dimension", there is a large degree of consent about the importance of axis of the "leadership excellence", there is a large degree of consent about the importance of axis of the "service-excellence", there is a fair degree approval about the importance of the axis of "cognitive excellence", and there is a moderately consent of the importance of "Organizational Excellence". The research found a group of recommendations including: the need to develop appropriate strategies for the University, employ modern technology in information systems, in addition to provide appropriate environment that achieve learning organizations, develop technological infrastructure, adopt universities for knowledge management in the academic and administrative departments because knowledge is the core of the work of these departments, create technological incubators in universities to adopt excellence academic research projects, and protected them, support them, and market them. Establishing of centers of excellence for scientific research in the university.The need for cooperation and coordination between local, Arab and international universities for the exchange of knowledge, information, and participation programs and training courses, as it provides an opportunity to develop the capabilities and skills of personnel and expertise. (shrink)

Matteo Ricci (1552-1610) was an Italian Jesuit and one of the first Christian missionaries to China in the modern era. He was a genuine polymath—a translator, cartographer, mathematician, astronomer, and musician. Above all, Ricci was a missionary for the gospel. As we briefly examine his 1603 seminal work, The True Meaning of the Lord of Heaven, our hope is that we, as evangelical educators, will perceive some of the deeper principles necessary for our own missionary work among unreached people.

For decades scholars thought they knew Hume's position on the existence of causes and objects he was a sceptic. However, this received view has been thrown into question by the `new readings of Hume as a sceptical realist. For philosophers, students of philosophy and others interested in theories of causation and their history, The New Hume Debate is the first book to fully document the most influential contemporary readings of Hume's work. Throughout, the volume brings the debate beyond textual issues (...) in Hume to contemporary philosophical issues concerning causation and knowledge of the external world and issues in the history of philosophy, offering the reader a model for scholarly debate. This revised paperback edition includes three new chapters by Janet Broughton, Peter Kail and Peter Millican. Contributors: Kenneth A. Richman, Barry Stroud, Galen Strawson, Kenneth P. Winkler, John P. Wright, Simon Blackburn, Edward Craig, Martin Bell, Daniel Flage, Anne Jaap Jacobson, Rupert Read, Janet Broughton, Peter Millican, Peter Kail. (shrink)

In this paper we propose a very general de nition of combination of logics by means of the concept of sheaves of logics. We first discuss some properties of this general definition and list some problems, as well as connections to related work. As applications of our abstract setting, we show that the notion of possible-translations semantics, introduced in previous papers by the first author, can be described in categorial terms. Possible-translations semantics constitute illustrative cases, since they provide a new (...) semantical account for abstract logical systems, particularly for many-valued and paraconsistent logics. (shrink)

Truthmaker monism is the view that the one and only truthmaker is the world. Despite its unpopularity, this view has recently received an admirable defence by Schaffer :307–324, 2010b). Its main defect, I argue, is that it omits partial truthmakers. If we omit partial truthmakers, we lose the intimate connection between a truth and its truthmaker. I further argue that the notion of a minimal truthmaker should be the key notion that plays the role of constraining ontology and that truthmaker (...) monism is not necessary for an appropriate solution to the problem of finding truthmakers for negative truths. I conclude that we should reject truthmaker monism once and for all. (shrink)

This paper develops a notion of manipulative gaslighting, which is designed to capture something not captured by epistemic gaslighting, namely the intent to undermine women by denying their testimony about harms done to them by men. Manipulative gaslighting, I propose, consists in getting someone to doubt her testimony by challenging its credibility using two tactics: “sidestepping” and “displacing”. I explain how manipulative gaslighting is distinct from reasonable disagreement, with which it is sometimes confused. I also argue for three further claims: (...) that manipulative gaslighting is a method of enacting misogyny, that it is often a collective phenomenon, and, as collective, qualifies as a mode of psychological oppression. (shrink)

Surprisingly little has been written about hedged assertion. Linguists often focus on semantic or syntactic theorizing about, for example, grammatical evidentials or epistemic modals, but pay far less attention to what hedging does at the level of action. By contrast, philosophers have focused extensively on normative issues regarding what epistemic position is required for proper assertion, yet they have almost exclusively considered unqualified declaratives. This essay considers the linguistic and normative issues side-by-side. We aim to bring some order and clarity (...) to thinking about hedging, so as to illuminate aspects of interest to both linguists and philosophers. In particular, we consider three broad questions. 1) The structural question: when one hedges, what is the speaker’s commitment weakened from? 2) The functional question: what is the best way to understand how a hedge weakens? And 3) the taxonomic question: are hedged assertions genuine assertions, another speech act, or what? (shrink)

Recent epistemology has focused almost exclusively on propositional knowledge. This paper considers an underexplored area of epistemology, namely knowledge of persons: if propositional knowledge is a state of mind, consisting in a subject's attitude to a (true) proposition, the account developed here thinks of interpersonal knowledge as a state of minds, involving a subject's attitude to another (existing) subject. This kind of knowledge is distinct from propositional knowledge, but it exhibits a gradability characteristic of context-sensitivity, and admits of shifty thresholds. (...) It is supported by a wide range of unexplored linguistic data and intuitive cases; and it promises to illuminate debates within epistemology, philosophy of religion, and ethics. (shrink)

Forty years’ experience as a bacterial geneticist has taught me that bacteria possess many cognitive, computational and evolutionary capabilities unimaginable in the first six decades of the twentieth century. Analysis of cellular processes such as metabolism, regulation of protein synthesis, and DNA repair established that bacteria continually monitor their external and internal environments and compute functional outputs based on information provided by their sensory apparatus. Studies of genetic recombination, lysogeny, antibiotic resistance and my own work on transposable elements revealed multiple (...) widespread bacterial systems for mobilizing and engineering DNA molecules. Examination of colony development and organization led me to appreciate how extensive multicellular collaboration is among the majority of bacterial species. Contemporary research in many laboratories on cell–cell signaling, symbiosis and pathogenesis show that bacteria utilise sophisticated mechanisms for intercellular communication and even have the ability to commandeer the basic cell biology of ‘higher’ plants and animals to meet their own needs. This remarkable series of observations requires us to revise basic ideas about biological information processing and recognise that even the smallest cells are sentient beings. Previous article in issue. (shrink)

I discuss two types of evidential problems with the most widely touted experiments in evolutionary psychology, those performed by Leda Cosmides and interpreted by Cosmides and John Tooby. First, and despite Cosmides and Tooby's claims to the contrary, these experiments don't fulfil the standards of evidence of evolutionary biology. Second Cosmides and Tooby claim to have performed a crucial experiment, and to have eliminated rival approaches. Though they claim that their results are consistent with their theory but contradictory to the (...) leading non-evolutionary alternative, Pragmatic Reasoning Schemas theory, I argue that this claim is unsupported. In addition, some of Cosmides and Tooby's interpretations arise from misguided and simplistic understandings of evolutionary biology. While I endorse the incorporation of evolutionary approaches into psychology, I reject the claims of Cosmides and Tooby that a modular approach is the only one supported by evolutionary biology. Lewontin's critical examinations of the applications of adaptationist thinking provide a background of evidentiary standards against which to view the currently fashionable claims of evolutionary psychology. (shrink)

We consider how an epistemic network might self-assemble from the ritualization of the individual decisions of simple heterogeneous agents. In such evolved social networks, inquirers may be significantly more successful than they could be investigating nature on their own. The evolved network may also dramatically lower the epistemic risk faced by even the most talented inquirers. We consider networks that self-assemble in the context of both perfect and imperfect communication and compare the behaviour of inquirers in each. This provides a (...) step in bringing together two new and developing research programs, the theory of self-assembling games and the theory of network epistemology. (shrink)

Who is recognised as a philosopher and what counts as philosophy influence both the content of a philosophical education and academic philosophy’s continuing demographic skew. The “philosophical who” and the “philosophical what” themselves are a partial function of matters that have been passed over in collective silence, even if that now feels to some like a silence belonging to the distant past. This paper discusses some philosophical silences regarding race, gender, and disability in the context of reflection on philosophical education (...) and on philosophical practice in the public sphere. It focuses on Charles Mills’ writings on race, Susan Babbitt’s on race and gender, and on more collaboratively-generated work on eugenics and disability. (shrink)

Traditional definitions of lying require that a speaker believe that what she asserts is false. Sam Fox Krauss seeks to jettison the traditional belief requirement in favour of a necessary condition given in a credence-accuracy framework, on which the liar expects to impose the risk of increased inaccuracy on the hearer. He argues that this necessary condition importantly captures nearby cases as lies which the traditional view neglects. I argue, however, that Krauss's own account suffers from an identical drawback of (...) being unable to explain nearby cases; and even worse, that account fails to distinguish cases of telling lies from cases of telling the truth. (shrink)

A graph-theoretic account of fibring of logics is developed, capitalizing on the interleaving characteristics of fibring at the linguistic, semantic and proof levels. Fibring of two signatures is seen as a multi-graph (m-graph) where the nodes and the m-edges include the sorts and the constructors of the signatures at hand. Fibring of two models is a multi-graph (m-graph) where the nodes and the m-edges are the values and the operations in the models, respectively. Fibring of two deductive systems is an (...) m-graph whose nodes are language expressions and the m-edges represent the inference rules of the two original systems. The sobriety of the approach is confirmed by proving that all the fibring notions are universal constructions. This graph-theoretic view is general enough to accommodate very different fibrings of propositional based logics encompassing logics with non-deterministic semantics, logics with an algebraic semantics, logics with partial semantics and substructural logics, among others. Soundness and weak completeness are proved to be preserved under very general conditions. Strong completeness is also shown to be preserved under tighter conditions. In this setting, the collapsing problem appearing in several combinations of logic systems can be avoided. (shrink)

Recently, due to the rapid progress of computer technology, researchers develop an effective computer program to enhance the achievement of the student in learning process, which is Intelligent Tutoring System (ITS). Science is important because it influences most aspects of everyday life, including food, energy, medicine, leisure activities and more. So learning science subject at school is very useful, but the students face some problem in learning it. So we designed an ITS system to help them understand this subject easily (...) and smoothly by analyzing it and explaining it in a systematic way. In this paper, we describe the design of an Intelligent Tutoring System for teaching science for grade seven to help students know the 7 characteristics for living things smoothly. The system provides all topics of living things and generates some questions for each topic and the students should answer these questions correctly to move to the next level. In the result of an evaluation of the ITS, students like the system and they said that it is very useful for them and for their studies. (shrink)

Attempts to ‘naturalize’ phenomenology challenge both traditional phenomenology and traditional approaches to cognitive science. They challenge Edmund Husserl’s rejection of naturalism and his attempt to establish phenomenology as a foundational transcendental discipline, and they challenge efforts to explain cognition through mainstream science. While appearing to be a retreat from the bold claims made for phenomenology, it is really its triumph. Naturalized phenomenology is spearheading a successful challenge to the heritage of Cartesian dualism. This converges with the reaction against Cartesian thought (...) within science itself. Descartes divided the universe between res cogitans, thinking substances, and res extensa, the mechanical world. The latter won with Newton and we have, in most of objective science since, literally lost our mind, hence our humanity. Despite Darwin, biologists remain children of Newton, and dream of a grand theory that is epistemologically complete and would allow lawful entailment of the evolution of the biosphere. This dream is no longer tenable. We now have to recognize that science and scientists are within and part of the world we are striving to comprehend, as proponents of endophysics have argued, and that physics, biology and mathematics have to be reconceived accordingly. Interpreting quantum mechanics from this perspective is shown to both illuminate conscious experience and reveal new paths for its further development. In biology we must now justify the use of the word “function”. As we shall see, we cannot prestate the ever new biological functions that arise and constitute the very phase space of evolution. Hence, we cannot mathematize the detailed becoming of the biosphere, nor write differential equations for functional variables we do not know ahead of time, nor integrate those equations, so no laws “entail” evolution. The dream of a grand theory fails. In place of entailing laws, a post-entailing law explanatory framework is proposed in which Actuals arise in evolution that constitute new boundary conditions that are enabling constraints that create new, typically unprestatable, Adjacent Possible opportunities for further evolution, in which new Actuals arise, in a persistent becoming. Evolution flows into a typically unprestatable succession of Adjacent Possibles. Given the concept of function, the concept of functional closure of an organism making a living in its world, becomes central. Implications for patterns in evolution include historical reconstruction, and statistical laws such as the distribution of extinction events, or species per genus, and the use of formal cause, not efficient cause, laws. (shrink)

Drawing on the material culture of the Ancient Near East as interpreted through Material Engagement Theory, the journey of how material number becomes a conceptual number is traced to address questions of how a particular material form might generate a concept and how concepts might ultimately encompass multiple material forms so that they include but are irreducible to all of them together. Material forms incorporated into the cognitive system affect the content and structure of concepts through their agency and affordances, (...) the capabilities and constraints they provide as the material component of the extended, enactive mind. Material forms give concepts the tangibility that enables them to be literally grasped and manipulated. As they are distributed over multiple material forms, concepts effectively become independent of any of them, yielding the abstract irreducibility that makes a concept like number what it is. Finally, social aspects of material use—collaboration, ordinariness, and time—have important effects on the generation and distribution of concepts. (shrink)

US citizens perceive their society to be one of the most diverse and religiously tolerant in the world today. Yet seemingly intractable religious intolerance and moral conflict abound throughout contemporary US public life - from abortion law battles, same-sex marriage, post-9/11 Islamophobia, public school curriculum controversies, to moral and religious dimensions of the Black Lives Matter and Occupy Wall Street movements, and Tea Party populism. Healthy Conflict in Contemporary American Society develops an approach to democratic discourse and coalition-building across deep (...) moral and religious divisions. Drawing on conflict transformation in peace studies, recent American pragmatist thought, and models of agonistic democracy, Jason Springs argues that, in circumstances riven with conflict between strong religious identities and deep moral and political commitments, productive engagement may depend on thinking creatively about how to constructively utilize conflict and intolerance. The result is an approach oriented by the recognition of conflict as a constituent and life-giving feature of social and political relationships. (shrink)

We present counterexamples to the widespread assumption that Moorean sentences cannot be rationally asserted. We then explain why Moorean assertions of the sort we discuss do not incur the irrationality charge. Our argument involves an appeal to the dual-process theory of the mind and a contrast between the conditions for ascribing beliefs to oneself and the conditions for making assertions about independently existing states of affairs. We conclude by contrasting beliefs of the sort we discuss with the structurally similar but (...) rationally impermissible beliefs of certain psychiatric patients. (shrink)

Whether intentional suppression of an unpleasant or unwanted memory reduces the ability to recall that memory subsequently is a contested issue in contemporary memory research. Building on findings that similar processes are recruited when individuals remember the past and imagine the future, we measured the effects of thought suppression on memory for imagined future scenarios. Thought suppression reduced the ability to recall emotionally negative scenarios, but not those that were emotionally positive. This finding suggests that intentionally avoiding thoughts about emotionally (...) negative episodes may inhibit representations of those memories, progressively reducing their availability to recall. (shrink)

The adoption of web-based telecare services has raised multifarious ethical concerns, but a traditional principle-based approach provides limited insight into how these concerns might be addressed and what, if anything, makes them problematic. We take an alternative approach, diagnosing some of the main concerns as arising from a core phenomenon of shifting trust relations that come about when the physician plays a less central role in the delivery of care, and new actors and entities are introduced. Correspondingly, we propose an (...) applied ethics of trust based on the idea that patients should be provided with good reasons to trust telecare services, which we call sound trust. On the basis of this approach, we propose several concrete strategies for safeguarding sound trust in telecare. (shrink)

I argue that God lacks the standing to blame or punish people for their sin if theological determinism is true, and that this is so even if sinners deserve both blame and punishment for sins God determines them to commit (and thus even if theological determinism is compatible with human free will and moral responsibility). I then respond to two recent objections to this conclusion, one by John Ross Churchill, the other by Patrick Todd. I conclude by noting several implications (...) of the position here defended. (shrink)

Recent scientific approaches to aesthetics include evolutionary theories about the origin of art behavior, psychological investigations into human aesthetic experience and preferences, and neurophysiological explorations of the mechanisms underlying art experience. Critics of these approaches argue that they are ultimately irrelevant to a philosophical aesthetics because they cannot help us understand the distinctive conceptual basis and normativity of our art experience. This criticism may seem plausible given the piecemeal nature of these scientific approaches, but a more comprehensive naturalistic framework can (...) help us understand the conceptual basis and normativity of art. In particular, the ecology of art, an understanding of how individuals interact within particular environments, can help us understand the engineered art niches in which we create and experience art. Each niche is associated with a particular deme, or set of individuals that interact within that niche, and a set of cognitive, epistemic, and pedagogical technologies that form the conceptual basis of a niche-dependent normativity. This is to be contrasted with the niche-independent normativity revealed by many of the scientific approaches. This framework, and the conflicting streams of normativity it reveals, allows us to better understand conflicts in normativity and the implausibility of unequivocal and universal normative principles. (shrink)